Generic embeddings associated to an indestructibly weakly compact cardinal
نویسنده
چکیده
I use generic embeddings induced by generic normal measures on Pκ(λ) that can be forced to exist if κ is an indestructibly weakly compact cardinal. These embeddings can be used in order to obtain the forcing axioms MA(<μ-closed) in forcing extensions. This has consequences in V: The singular cardinal hypothesis holds above κ, and κ has a useful Jónsson-like property. This, in turn, implies that the countable tower Q<κ works much like it does when κ is a Woodin limit of Woodin cardinals. One consequence is that every set of reals in the Chang model satisfies the regularity properties. So indestructibly weak compactness has effects on the cardinal arithmetic high up and also on the structure of the sets of real numbers, down low, similar to supercompactness.
منابع مشابه
Measurable Cardinals and the Cardinality of Lindelöf Spaces
We obtain from the consistency of the existence of a measurable cardinal the consistency of “small” upper bounds on the cardinality of a large class of Lindelöf spaces whose singletons are Gδ sets. Call a topological space in which each singleton is a Gδ set a points Gδ space. A.V. Arhangel’skii proved that any points Gδ Lindelöf space must have cardinality less than the least measurable cardin...
متن کاملHod-supercompactness, Indestructibility, and Level by Level Equivalence
In an attempt to extend the property of being supercompact but not hod-supercompact to a proper class of indestructibly supercompact cardinals, a theorem is discovered about a proper class of indestructibly supercompact cardinals which reveals a surprising incompatibility. However, it is still possible to force to get a model in which the property of being supercompact but not hod-supercompact ...
متن کاملIndestructibility, instances of strong compactness, and level by level inequivalence
Suppose λ > κ is measurable. We show that if κ is either indestructibly supercompact or indestructibly strong, then A = {δ < κ | δ is measurable, yet δ is neither δ+ strongly compact nor a limit of measurable cardinals} must be unbounded in κ. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two models in which A = ∅. The first of these cont...
متن کاملOn certain maximality principles
We present streamlined proofs of certain maximality principles studied by Hamkins and Woodin. Moreover, we formulate an intermediate maximality principle, which is shown here to be equiconsistent with the existence of a weakly compact cardinal $kappa$ such that $V_{kappa}prec V$.
متن کاملRamsey-like cardinals
One of the numerous characterizations of a Ramsey cardinal κ involves the existence of certain types of elementary embeddings for transitive sets of size κ satisfying a large fragment of ZFC. I introduce new large cardinal axioms generalizing the Ramsey elementary embeddings characterization and show that they form a natural hierarchy between weakly compact cardinals and measurable cardinals. T...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 162 شماره
صفحات -
تاریخ انتشار 2010